Abruptly Terminated Connections in Tcp | a Veriication Example
نویسنده
چکیده
The paper presents the veriication of a functional misbehavior in TCP, that is one of the widely used transport protocols used in the Internet. The solution that was developed by I. Heavens is veriied for its correctness. A model checking approach is used to verify TCP: the protocol is described in LOTOS and the requirements are given in the modal-calculus. The veriication uses the CADP tool set for automating the veriication process.
منابع مشابه
Evaluating Multipath TCP Resilience against Link Failures
Standard TCP is the de facto reliable transfer protocol for the Internet. It is designed to establish a reliable connection using only a single network interface. However, standard TCP with single interfacing performs poorly due to intermittent node connectivity. This requires the re-establishment of connections as the IP addresses change. Multi-path TCP (MPTCP) has emerged to utilize multiple ...
متن کاملA Queueing Network Model of Short-Lived TCP Flows with Mixed Wired and Wireless Access Links
We present an analytical model, based on a Fixed Point Approximation (FPA) solution, that can be used to derive the performance of different sets of TCP connections that share, and compete for, a common resource, typically a link and its associated buffer. A set of TCP connections is a group of connections that can be considered homogeneous, e.g., they have similar RTTs and all have a wireless ...
متن کاملA simulation study on the throughput fairness of TCP Vegas
Tbmugbput fairness is an important d e r i a for evaluating TCP pe fomance. Fairness is especial! important for best effort service, which is still the dominant gpe o f service in the Internet and, predictab!, in the years to come. However, the TCP pmtocols prevailing in the Internet, including TCP Tahoe and TCP Reno, are known to be unfair, especial! to connections with larger mund-tnp delays....
متن کاملLow-latency Routing for Short-Lived TCP Connections in Wireless Ad Hoc Networks
A wireless ad hoc network does not require wired infrastructure or network management terminal. That is, it is self-organized only with wireless terminals that exchange network information, maintain routes, and construct a multi-hop distributed network. In the wireless ad hoc network, there is no need for wired infrastructure or network management terminal. Therefore, quickly and easily we can ...
متن کاملApplying Rate Control to Concurrent TCP Connections
This paper discusses how to add rate control to TCP in order to improve performance of multiple concurrent connections competing for bandwidth in a local área network. In such an environment connections started in parallel by a single application (for example, a Web browser or a parallel file system client) tend to compete for bandwidth in spite of their cooperative behavior. Such competition u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996